Ω-bibliography of mathematical logic Vol. 6, Proof theory. Constructive mathematics
- Författare
- (Jane E. Kister; Dirk van Dalen & Anne S. Troelstra (editors).)
- Genre
- Bibliografier, Bibliografi
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer-Vlg | Cop. 1987 | Tyskland, Berlin, New York | 405 sidor. |